STUDI FAKTOR PENENTU KINERJA KARYAWAN PT. HASJRAT ABADI PALU

Linear Abadi & Plotkin Logic

We present a formalization of a version of Abadi and Plotkin’s logic for parametricity for a polymorphic dual intuitionistic / linear type theory with fixed points, and show, following Plotkin’s suggestions, that it can be used to define a wide collection of types, including existential types, inductive types, coinductive types and general recursive types. We show that the recursive types satis...

Tissue-Faktor im akuten Koronarsyndrom

Zusammenfassung Die Ruptur einer arteriosklerotischen Plaque mit nachfolgender Thrombusbildung und Gewebsischämie stellt das führende pathophysiologische Korrelat des akuten Koronarsyndroms dar. Gewebsthromboplastin oder Tissue-Faktor (TF) als wichtigster physiologischer Initiator der extrinsischen Gerinnungskaskade nimmt eine zentrale Rolle in der Pathogenese des akuten Koronarsyndroms ein. Da...

Linear Abadi and Plotkin Logic

We present a formalization of a version of Abadi and Plotkin’s logic for parametricity for a polymorphic dual intuitionistic/linear type theory with fixed points, and show, following Plotkin’s suggestions, that it can be used to define a wide collection of types, including existential types, inductive types, coinductive types and general recursive types. We show that the recursive types satisfy...

Università degli Studi di Siena

Degli Studi Dell ’ Insubria

Acknowledgements I would like to thank Prof. Paolo Massazza, my first algorithm professor, for the supervision of the final drafting of the thesis and his precious suggestions; I also would like to express my gratitude to Prof. Jyrki Katajainen, coau-thor of the two articles presented in the thesis, for what he taught me, his constant encouragements and all the time he dedicated to our collabor...